Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
161	ICAPS 2013: Proceedings of the 1st Workshop on Planning in Continuous Domains Flexible Execution of Partial Order Plans With Temporal Constraints∗ Christian Muise1 , J. Christopher Beck2 , and Sheila A. McIlraith1 1 Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2013-12-04 14:21:42 Planning Domain Definition Language Automated planning and scheduling Linear temporal logic Coordination
162	On some possible mathematical connections concerning Noncommutative Minisuperspace Cosmology, Noncommutative Quantum Cosmology in low-energy String Action, Noncommutative Kantowsky-Sachs Quantum Model, Spectral Action Pr Add to Reading List Source URL: empslocal.ex.ac.uk Language: English - Date: 2008-01-16 04:37:12 Symbol Linear temporal logic
163	1 Mumford–Shah Model for One-to-one Edge Matching Jingfeng Han, Benjamin Berkels, Marc Droske, Joachim Hornegger, Martin Rumpf, Carlo Schaller, Jasmin Scorzin and Horst Urbach Add to Reading List Source URL: numod.ins.uni-bonn.de Language: English - Date: 2010-10-07 11:50:29 Function Functional analysis Operator theory Spectral theory of ordinary differential equations Linear temporal logic Mathematics Mathematical analysis Functions and mappings
164	TIME DISCRETE GEODESIC PATHS IN THE SPACE OF IMAGES B. BERKELS, A. EFFLAND, M. RUMPF Abstract. In this paper the space of images is considered as a Riemannian manifold using the metamorphosis approach [24, 34, 35], where Add to Reading List Source URL: numod.ins.uni-bonn.de Language: English - Date: 2014-05-28 03:01:12 Tensors Mathematics Calculus of variations Pullback Tangent space Symbol Partial differential equation Linear temporal logic Differential geometry Mathematical analysis Differential topology
165	J. P. Delgrande A. C. Nayak M. Pagnucco Gricean Belief Change Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2004-10-14 12:12:41 Knowledge representation Interpretation Constructible universe Science Artificial intelligence Linear temporal logic Logic Model theory Belief revision
166	Conservative Belief Change James P. Delgrande Abhaya C. Nayak Maurice Pagnucco Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2004-08-04 13:50:37 Belief revision Knowledge representation Interpretation Science Constructible universe Symbol Contraction Artificial intelligence Linear temporal logic Model theory Logic Operator theory
167	Random Graphs and The Parity Quantifier Phokion G. Kolaitis UC Santa Cruz & Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-27 14:47:38 Model theory Finite model theory FO First-order logic Descriptive complexity theory Almost surely Second-order logic Structure Linear temporal logic Logic Mathematical logic Mathematics
168	Proc. TACAS 2015, (c) Springer . Verifiable Witnesses Software Verification and (Report on SV-COMPDirk Beyer Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2015-02-14 11:39:08 Applied mathematics Formal verification Software verification Model checking Linear temporal logic Verilog Mathematics Formal methods Logic in computer science Theoretical computer science
169	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Propositional calculus Logical syntax Formal languages Well-formed formula If and only if Logical connective Function Linear temporal logic First-order logic Logic Mathematics Mathematical logic
170	Fingerprints in Compressed Strings Philip Bille1 , Patrick Hagge Cording1 , Inge Li Gørtz1? , Benjamin Sach2 , Hjalte Wedel Vildhøj1 , and Søren Vind1?? 1 2 Add to Reading List Source URL: www2.imm.dtu.dk Language: English - Date: 2013-04-30 10:04:08 Mathematics Information Mathematical analysis Linear temporal logic Binary trees Rope Fingerprint

UPDATE